2↓⊂λ⊂α `_α   h(UλU@⊂∃λU_*∞D∧p'U∧∧λ⊂∀HTλ&λλdx'∃¬U)e_(⊃(4H#∩(T βD@@↓⊂↓H Pλα@⊂ α@⊂8β↓0↓H h⊂α@$hα@␈}3→Pf3_↓→Lh↓Lf0α3→Pαf3_␈␈Lf0αf3_β→Lh3→Pf3_3→Pf3_@⊂0⊂ ∧λ⊂Pλ@0⊂⊂@∧λ ∧_@⊂p_⊂ λ⊂@`∧⊂3→Pf3_↓→Lh↓Lf0⊂( ␈x↓Lf0f3_3→P↓f3_∧f3_→Lh3→Pf3_↓→Lh↓Lf0α